French Institute for Research in Computer Science and Automation - PDFSEARCH.IO - Document Search Engine

French Institute for Research in Computer Science and Automation
Results: 14

#	Item
11	PEER – Publishing and the Ecology of European Research The PEER Consortium Partners are pleased to announce the PEER End of Project Conference Date: Time: Location: Add to Reading List Source URL: www.peerproject.eu Language: English - Date: 2016-02-22 09:58:23 Academic publishing Open access Academia Knowledge Publishing Communication Research Scholarly communication Self-archiving Institutional repository European Research Council French Institute for Research in Computer Science and Automation
12	PEER – Publishing and the Ecology of European Research PEER End of Project Results Conference Date: Time: Location: Add to Reading List Source URL: www.peerproject.eu Language: English - Date: 2016-02-22 09:58:23 Academia Publishing Academic publishing Open access Knowledge Scholarly communication French Institute for Research in Computer Science and Automation Theoretical computer science Peer-to-peer Self-archiving Elsevier European Research Council
13	Alan Schmitt 21 February 2012 CV Birth: 02 AprilNancy, France) Add to Reading List Source URL: alan.petitepomme.net Language: English - Date: 2014-01-18 03:32:54 Software engineering Computer science Computing Boomerang Functional programming Symposium on Principles of Programming Languages International Conference on Functional Programming Benjamin C. Pierce SIGPLAN Coq French Institute for Research in Computer Science and Automation Research Institute of Computer Science and Random Systems
14	The Why3 platform Version, May 2015 François Bobot1,2 Jean-Christophe Filliâtre1,2 Add to Reading List Source URL: why3.lri.fr Language: English - Date: 2015-05-22 01:14:27 Proof assistants Functional languages Theoretical computer science Formal methods Logic in computer science Frama-C SPARK Coq Isabelle OCaml Formal verification French Institute for Research in Computer Science and Automation

UPDATE